Skip to content

Merge filter profiles#238

Merged
timdegroot1996 merged 4 commits intomainfrom
merge-filter-profiles
Apr 13, 2026
Merged

Merge filter profiles#238
timdegroot1996 merged 4 commits intomainfrom
merge-filter-profiles

Conversation

@timdegroot1996
Copy link
Copy Markdown
Collaborator

@timdegroot1996 timdegroot1996 commented Apr 4, 2026

Implements #213

@poWer4aiX, this is the initial version. If you have some time let me know if the implementation in below dashboard is in line with what you were expecting!

robot_dashboard.html

@timdegroot1996
Copy link
Copy Markdown
Collaborator Author

@poWer4aiX, quick reping to let you know that this is available. Is this what you were looking for or were you expecting something else with #213?

@poWer4aiX
Copy link
Copy Markdown
Contributor

@timdegroot1996, cool solution which is also fine and a much bigger implementation than what I expected. For me merging the saved filter settings from a saved profile into the current filter settings on the fly (without adding a new profile) would have been sufficient.

But your solution covers it fully and might be a great help in cases someone has a some bigger sets of filter settings. Thanks a lot to came up with this.

@timdegroot1996 timdegroot1996 merged commit 9d52776 into main Apr 13, 2026
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

[Feature Request] Add an option to merge a filter profile into the current filter settings

2 participants